Double exponential distribution

In statistics, the double exponential distribution may refer to